Formal languages

Results: 2429



#Item
41Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette

Noname manuscript No. (will be inserted by the editor) Relational Analysis of (Co)inductive Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions Jasmin Christian Blanchette

Add to Reading List

Source URL: people.mpi-inf.mpg.de

Language: English - Date: 2015-01-25 16:18:54
42Microsoft WordMOHRI & SPROAT.doc

Microsoft WordMOHRI & SPROAT.doc

Add to Reading List

Source URL: www.ling.helsinki.fi

Language: English - Date: 2006-02-14 04:35:20
43Formal Definition of ALGOL 60

Formal Definition of ALGOL 60

Add to Reading List

Source URL: homepages.cs.ncl.ac.uk

Language: English - Date: 2014-10-06 17:17:15
44C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science,

C Program Specialization Master’s Thesis (revised version) Lars Ole Andersen DIKU, Department of Computer Science,

Add to Reading List

Source URL: repository.readscheme.org

Language: English - Date: 2010-10-22 08:05:06
45TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab

TIP: Tons of Inductive Problems Koen Claessen, Moa Johansson, Dan Ros´en, and Nicholas Smallbone Department of Computer Science and Engineering, Chalmers University of Technology {koen,jomoa,danr,nicsma}@chalmers.se Ab

Add to Reading List

Source URL: www.cse.chalmers.se

Language: English - Date: 2015-05-06 07:44:21
46How recursive is language? 1 Running head: HOW RECURSIVE IS LANGUAGE? How recursive is language? A Bayesian exploration Amy Perfors

How recursive is language? 1 Running head: HOW RECURSIVE IS LANGUAGE? How recursive is language? A Bayesian exploration Amy Perfors

Add to Reading List

Source URL: tedlab.mit.edu

Language: English - Date: 2012-08-09 14:58:51
471 Exemplar Longest Common Subsequence Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Guillaume Fertin , Raffaella Rizzi and St´ephane Vialette

1 Exemplar Longest Common Subsequence Paola Bonizzoni, Gianluca Della Vedova, Riccardo Dondi, Guillaume Fertin , Raffaella Rizzi and St´ephane Vialette

Add to Reading List

Source URL: pagesperso.lina.univ-nantes.fr

Language: English - Date: 2009-07-03 08:57:04
48Inducing Suffix and LCP Arrays in External Memory Timo Bingmann∗, Johannes Fischer†, and Vitaly Osipov‡ KIT, Institute of Theoretical Informatics, 76131 Karlsruhe, Germany {timo.bingmann,johannes.fischer,osipov}@ki

Inducing Suffix and LCP Arrays in External Memory Timo Bingmann∗, Johannes Fischer†, and Vitaly Osipov‡ KIT, Institute of Theoretical Informatics, 76131 Karlsruhe, Germany {timo.bingmann,johannes.fischer,osipov}@ki

Add to Reading List

Source URL: panthema.net

Language: English - Date: 2012-11-28 08:24:55
49The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract

The Whiley Rewrite Language (WyRL) David J. Pearce School of Engineering and Computer Science, Victoria University of Wellington, New Zealand Abstract

Add to Reading List

Source URL: homepages.ecs.vuw.ac.nz

Language: English - Date: 2015-08-18 20:05:39
50Electronic Companion A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering Ning Cai, S. G. Kou, Zongjian Liu HKUST and Columbia University

Electronic Companion A Two-Sided Laplace Inversion Algorithm with Computable Error Bounds and Its Applications in Financial Engineering Ning Cai, S. G. Kou, Zongjian Liu HKUST and Columbia University

Add to Reading List

Source URL: www.rmi.nus.edu.sg

Language: English - Date: 2013-06-18 07:37:50